A semantics and implementation of a causal logic programming language

The increasingly widespread availability of multicore and manycore computers demands new programming languages that make parallel programming dramatically easier and less error prone. This paper describes a semantics for a new class of declarative programming languages that support massive amounts of implicit parallelism

Datalog as a parallel general purpose programming language

The increasing available parallelism of computers demands new programming languages that make parallel programming dramatically easier and less error prone. It is proposed that datalog with negation and timestamps is a suitable basis for a general purpose programming language for sequential, parallel and distributed computers. This paper develops a fully incremental bottom-up interpreter for datalog that supports a wide range of execution strategies, with trade-offs affecting efficiency, parallelism and control of resource usage. Examples show how the language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics

A Parallel semantics for normal logic programs plus time

It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics. This paper describes a fully incremental bottom-up interpreter that supports a wide range of parallel execution strategies and can extract significant potential parallelism from programs with complex dependencies

A critique of the nouthetic counseling technique of Jay E. Adams

Jay E. Adams, a popular writer of counseling material primarily for evangelicals is examined on the theory and practice of nouthetic counseling. Nouthetic counseling is seen primarily as a confrontational approach utilizing a literal interpretation of scripture as the basis for counselor directed change. Adams is evaluated on his application of scripture in the counseling process. His nouthetic approach is compared and contrasted with other pastoral care counselors as well as some traditional and non-traditional theories of psychiatry. Most of the comparison takes place through conversational dialogue which highlights differences and similarities in philosophies and techniques. A primary contention is that Adams has simply appropriated the Reality Therapy technique of William Glasser to a theological context thus nullifying his claim of originality. Final evaluations and conclusions weigh the relative worth of nouthetic confrontation based upon the research which was conducted. Adams’ technique of nouthetic confrontation is seen as having a very limited basis for application. His extensive use of scripture is deemed inappropriate to many situations and nouthetic counseling borders closely on being characterized as judgmental moralism

The Modern Wesley Class Meeting - Bringing Accountability, Practical Faith, and Personal Connection into Established Local Congregations

This paper is an attempt to resurrect the Wesleyan class meeting in to the modern day congregation in order to build stronger and more vibrant communities. By examining the historical footprint of the class meeting in Wesley\u27s Britain and the beginning of the American experiment, the core attributes of the class meeting are extracted to be accountability, vulnerability, and practical faith. This paper also attempts to show that these core principles of the class meeting are still present in the modern world outside of the church to great success within the military, non-denominational faith groups, and in the battle against addiction in its many forms through 12-step programs. Finally, there is a a step by step method in how to go about creating and sustaining a class meeting in the modern church, as performed by the author at a local United Methodist congregation

DEVELOPING THE SACRED: Local & Global Bikas in the Nepali Bhotkhola

The purpose of this paper is to study the effects of bikas on community and culture. Research was conducted from 9-30 November 2010 in the Bhotia village Chyamtang in the Sankhuwasabha district of Northeastern Nepal. The forms of development observed at the site are separated into local bikas and global bikas, each with their own strengths and weaknesses. Research focused on a two-year old development project initiated by The Mountain Institute (TMI) using medicinal plant cultivation and community participation. Methods for studying Bhotia culture and development took the form of interviews with local healers, religious figures, farmers, and TMI staff. While ancient, their culture is as fragile as it has ever been and is threatened with extinction, much like chiraito in recent years, the medicinal plant that is being used for local development. In this way, by respecting Bhotia’s culture sanctity, recognizing their need for economic development, and making the people their own change agents, this project is helping to preserve their culture during this collision of global ideas that is pushing and pulling apart indigenous cultures

Two new species of Dennyus (Collodennyus) chewing lice (Phthiraptera: Amblycera: Menoponidae) from swiftlets (Apodiformes: Apodidae)

Journal ArticleThe new species Dennyus (Collodennyus) mimirogerorum from the Papuan swiftlet, Aerodramus papuensis (Rand), from Papua New Guinea and D. (C.) bartoni from the Philippine swiftlet, A. mearnsi (Oberholser), from the Philippines are described and illustrated. The genetic distinctiveness of these two species from other close relatives is also evaluated using mitochondrial DNA sequences

Revision of the chewing louse genus Formicaphagus (Phthiraptera: Philopteridae) from Neotropical Antbirds and Gnateaters (Aves: Passeriformes)

Journal ArticleExamination of specimens of the 15 recognized species of Formicaphagus resulted in 6 new synonymies: F. laemostictus, F. latifrons, and F. peruvianus are junior synonyms of F. picturatus; F. huilae of F. angustifrons; and F. bolivianus and F. thoracicus of F. minutus. Two new species are described from material collected by the junior author in Peru: F. arnoldi (type host Conopophaga ardesiaca) and F. donpetersi (type host Conopophaga peruviana); these are the first louse species described from hosts in the family Conopophagidae, the gnateaters

Review of the genus Saemundssonia Timmerman (Phthiraptera: Philopteridae) from the Alcidae (Aves: Charadriiformes), including a new species and new host records

Journal ArticleWe describe the new species Saemundssonia boschi recently collected from Least Auklets {Aethia pusilla (Pallas)) in Alaska and review the 11 names previously applied to Saemundssonia Timmermann species from alcids. Saemundssonia procax (Kellogg and Chapman) is relegated to a new junior synonym of S. grylle (O. Fabricius). along with the previously recognized junior synonym S. megacephalus (Denny). The nine previously described valid species are redescribed and illustrated and four new host records are documented from alcids. Finally, a key is provided for the identification of the ten recognized species of alcid Saemundssonia

Two new species of Dennyus (Ctenodennyus) lice (Phthiraptera: Menoponidae) from swiftlets (Apodiformes: Apodidae)

Journal ArticleTo date, only a single species of Dennyus (Ctenodennyus) has been described, this being D. (C.) spiniger Ewing from Cypseloides niger borealis (Kennedy), the northern black swift in North America. Through extensive collecting of lice by the junior author from swiftlets and through a loan of Bishop Museum material, we have obtained a small number of lice representing 2 new species of this subgenus. Here we redescribe D. spiniger and describe and illustrate these 2 new species